home *** CD-ROM | disk | FTP | other *** search
/ ASME's Mechanical Engine…ing Toolkit 1997 December / ASME's Mechanical Engineering Toolkit 1997 December.iso / ai / prlg195b.lzh / CAD.LZH / INPUTS.PRO < prev    next >
Text File  |  1987-04-05  |  768b  |  24 lines
  1. Output from the goal "testinputs<CR>." for Mark
  2. Karpovsky's circuit "samcir.pro".
  3.  
  4.  
  5. test(o1,1,sa1,[n9(0),n5(0),n3(1),n1(0)],[n34(db)]).
  6.  
  7. test(o1,1,sa0,[n5(0),n3(1),n1(1)],[n34(d)]).
  8.  
  9. test(p5,1,sa1,[n11(0),n9(1),n5(0),n3(0)],[n33(db)]).
  10.  
  11. test(p5,1,sa0,[n11(0),n9(1),n5(0),n3(1)],[n33(d)]).
  12.  
  13. test(o2,1,sa1,[n11(0),n9(1),n5(0),n3(0),n1(1)],[n33(db)]).
  14.  
  15. test(o2,1,sa0,[n11(0),n9(1),n5(1),n3(0),n1(1)],[n33(d)]).
  16.  
  17. test(p4,2,sa1,[n9(0),n5(0),n3(1),n1(0)],[n34(db)]).
  18.  
  19. test(p4,2,sa0,[n9(1),n5(0),n3(1),n1(0)],[n34(d)]).
  20.  
  21. test(p6,1,sa1,[n11(0),n5(0),n3(0),n1(0)],[n32(db)]).
  22.  
  23. test(p6,1,sa0,[n11(1),n5(0),n3(0),n1(0)],[n32(d)]).
  24.